$x$ =a $y$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $x$=$y$ then tt else ff